• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲۶ پاسخ غیر تکراری از ۲۶ پاسخ تکراری در مدت زمان ۰,۸۱ ثانیه یافت شد.

1. A layered declarative approach to ontology translation with knowledge preservation

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Corcho, Oscar

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: ، Knowledge representation )Information theory(,، Conceptual structures )Information theory(,، Ontology,Syntax ، Programming languages )Electronic computers(,، Database design,، Expert systems )Computer science(

Classification :
Q
387
.
C67
2005

2. ACM Turing Award lectures :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)

Classification :
QA76
.
24
.
A33
1987

3. Advances in computers.

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Franz L. Alt and Morris Rubinoff.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

Classification :
QA76
.
A3eb
vol
.
5

4. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Casimir A. Kulikowski, Huber, Gabriel A. Ferrate

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
9
.
C65I46
1987

5. Computers and languages: Theory and Practice

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Anton, Nijholt

Library: Central Library and Information Center of Shahed University (Tehran)

Subject: Electronic digital computers- Programming,Programming language (Electronic Computer)

Classification :
QA
،
76
.
6
،.
N55
،
1988

6. Computers and languages : theory and practice

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Anton Nijholt

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Computer programming,، Programming languages )Electronic computers(

Classification :
QA
76
.
6
.
N55
1988

7. Constraint Solving and Language Processing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Denys Duchier, Yannick Parmentier.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

Classification :

8. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Joao Leite... ]et al.[

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming

Classification :
QA
76
.
L28
Vol
.
3476

9. Declarative agent languages and technologies V

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Matteo Baldoni ... [et al.] (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses

Classification :
QA
,
76
.
76
,.
I58
,
D43
,
2007

10. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Joao Leite...]et al.[

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(

Classification :
QA
76
.
L28
Vol
.
2990

11. Exploring Robotics with ROBOTIS Systems

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Chi N. Thai

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Computer science. , Programming languages (Electronic computers) , Artificial intelligence.

Classification :
E-Book
,

12. It's all about coordination :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.

Classification :
QA76
.
58
.
I87
2018eb

13. Language, logic, and computation :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

Classification :
QA76
.
9
.
L63

14. Logic, language, and computation

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Balder D. ten Cate, Henk W. Zeevat (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses

Classification :
QA
,
76
.
9
,.
L63
,
I565
,
2005

15. Meta - Levels Architectures and Reflection

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Edited by Patie MAES, Daniele NARDI

Library: Central Library and Information Center of Shahed University (Tehran)

Subject: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)

Classification :
QA
،
76
.
7
،.
M48
،
1988

16. Meta-level architectures and reflection

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Pattie Maes, Daniel Nardi

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(

Classification :
QA
76
.
7
.
M48
1988

17. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Pierre Cointe )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

Classification :
QA
76
.
L28
Vol
.
1616

18. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Akinori Yonezawa, Satoshi Matsuoka )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(

Classification :
QA
76
.
L28
Vol
.
2192

19. Multiparadigm constraint programming languages /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Petra Hofstedt

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science

Classification :
QA76
.
6
.
H64
2011

20. Multiparadigm constraint programming languages /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Petra Hofstedt

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Constraint programming (Computer science),Multiparadigm programming (Computer science),Programming languages (Electronic computers),Computer science

Classification :
QA76
.
6
.
H64
2011
  • »
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival